$\forall$$g$:GrpSig, $a$, $b$, $c$:$\mid$$g$$\mid$. ($b$ = $c$) $\Rightarrow$ (($a$ $\ast$ $b$) = ($a$ $\ast$ $c$) $\in$ $\mid$$g$$\mid$)